DEVTOOLS = /Users/lgm/work/src/devtools

JAVAC = javac
JAVAC_FLAGS = -sourcepath . -cp $(DEVTOOLS)/java-cup-11a-runtime.jar:$(DEVTOOLS)/java-cup-11a.jar:$(DEVTOOLS)/JFlex/lib:$(DEVTOOLS)/jaxb/lib

JAVA = java
JAVA_FLAGS = -cp $(DEVTOOLS)/java-cup-11a-runtime.jar:$(DEVTOOLS)/java-cup-11a.jar:$(DEVTOOLS)/JLex.jar:$(DEVTOOLS)/JFlex/lib:$(DEVTOOLS)/jaxb/lib

CUP = java_cup.Main
CUPFLAGS = -nopositions -expect 100

JLEX = JLex.Main

LATEX = latex
DVIPS = dvips

all: test dataset.ps

test: absyn com/biosimilarity/naturalselection/model/dataset/Yylex.class com/biosimilarity/naturalselection/model/dataset/PrettyPrinter.class com/biosimilarity/naturalselection/model/dataset/Test.class com/biosimilarity/naturalselection/model/dataset/ComposVisitor.class com/biosimilarity/naturalselection/model/dataset/AbstractVisitor.class com/biosimilarity/naturalselection/model/dataset/FoldVisitor.class com/biosimilarity/naturalselection/model/dataset/AllVisitor.class com/biosimilarity/naturalselection/model/dataset/parser.class com/biosimilarity/naturalselection/model/dataset/sym.class com/biosimilarity/naturalselection/model/dataset/Test.class

.PHONY: absyn

%.class: %.java
	${JAVAC} ${JAVAC_FLAGS} $^

absyn: com/biosimilarity/naturalselection/model/dataset/Absyn/RecordExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/Joined.java com/biosimilarity/naturalselection/model/dataset/Absyn/Isolated.java com/biosimilarity/naturalselection/model/dataset/Absyn/Consed.java com/biosimilarity/naturalselection/model/dataset/Absyn/Contexted.java com/biosimilarity/naturalselection/model/dataset/Absyn/Referenced.java com/biosimilarity/naturalselection/model/dataset/Absyn/Collected.java com/biosimilarity/naturalselection/model/dataset/Absyn/Emptied.java com/biosimilarity/naturalselection/model/dataset/Absyn/Binding.java com/biosimilarity/naturalselection/model/dataset/Absyn/BindingExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordPtn.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordDestructor.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordLiteral.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordVariable.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordIdent.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordWild.java com/biosimilarity/naturalselection/model/dataset/Absyn/CollectionExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/Extension.java com/biosimilarity/naturalselection/model/dataset/Absyn/Intension.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldFormals.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldFormalSpec.java com/biosimilarity/naturalselection/model/dataset/Absyn/ExtensionBodyExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ExtensionBody.java com/biosimilarity/naturalselection/model/dataset/Absyn/IntensionBodyExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/IntensionBody.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldDecl.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldActual.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldName.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldIdent.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleSumExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleMultExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleBaseExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleDeclOrCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/ConditionIn.java com/biosimilarity/naturalselection/model/dataset/Absyn/DeclIn.java com/biosimilarity/naturalselection/model/dataset/Absyn/TuplePtn.java com/biosimilarity/naturalselection/model/dataset/Absyn/TuplePtnExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleGen.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleGenExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleSatExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleCompExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/DisjunctTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/ConjunctTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/NegatedTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/StructuralTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/BaseTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/StructureTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleValCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleLogicGround.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/DisjunctValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/ConjunctValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/NegatedValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/StructuralValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/BaseValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueLogicGround.java com/biosimilarity/naturalselection/model/dataset/Absyn/StructureValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueRecCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueListCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueSetCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueLitCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueRecBodyCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/LogicalGround.java com/biosimilarity/naturalselection/model/dataset/Absyn/Verity.java com/biosimilarity/naturalselection/model/dataset/Absyn/Absurdity.java com/biosimilarity/naturalselection/model/dataset/Absyn/Nullity.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldType.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ArrayTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/RcrdTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/RefTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/CollTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/CollType.java com/biosimilarity/naturalselection/model/dataset/Absyn/LListTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/SetTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TypeName.java com/biosimilarity/naturalselection/model/dataset/Absyn/TypeIdent.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundType.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundInteger.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundDouble.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundString.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundChar.java com/biosimilarity/naturalselection/model/dataset/Absyn/TypeFormals.java com/biosimilarity/naturalselection/model/dataset/Absyn/TypeParameters.java com/biosimilarity/naturalselection/model/dataset/Absyn/Comparison.java com/biosimilarity/naturalselection/model/dataset/Absyn/Equality.java com/biosimilarity/naturalselection/model/dataset/Absyn/Less.java com/biosimilarity/naturalselection/model/dataset/Absyn/More.java com/biosimilarity/naturalselection/model/dataset/Absyn/LEq.java com/biosimilarity/naturalselection/model/dataset/Absyn/GEq.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueAddExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueMultExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueArrAccExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueNegExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueVarExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueLitExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueVariable.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueIdent.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueLiteral.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueRecLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueRecProjLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueListLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueSetLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueIntLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueDoubleLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueStringLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueCharLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListBinding.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListTupleDeclOrCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListFieldExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListTupleExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListTuplePtn.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListValueExpr.java
	${JAVAC} ${JAVAC_FLAGS} $^

com/biosimilarity/naturalselection/model/dataset/Yylex.java: com/biosimilarity/naturalselection/model/dataset/Yylex
	${JAVA} ${JAVA_FLAGS} ${JLEX} com/biosimilarity/naturalselection/model/dataset/Yylex

com/biosimilarity/naturalselection/model/dataset/sym.java com/biosimilarity/naturalselection/model/dataset/parser.java: com/biosimilarity/naturalselection/model/dataset/dataset.cup
	${JAVA} ${JAVA_FLAGS} ${CUP} ${CUPFLAGS} com/biosimilarity/naturalselection/model/dataset/dataset.cup
	mv sym.java parser.java com/biosimilarity/naturalselection/model/dataset/

com/biosimilarity/naturalselection/model/dataset/Yylex.class: com/biosimilarity/naturalselection/model/dataset/Yylex.java com/biosimilarity/naturalselection/model/dataset/sym.java

com/biosimilarity/naturalselection/model/dataset/sym.class: com/biosimilarity/naturalselection/model/dataset/sym.java

com/biosimilarity/naturalselection/model/dataset/parser.class: com/biosimilarity/naturalselection/model/dataset/parser.java com/biosimilarity/naturalselection/model/dataset/sym.java

com/biosimilarity/naturalselection/model/dataset/PrettyPrinter.class: com/biosimilarity/naturalselection/model/dataset/PrettyPrinter.java

dataset.dvi: dataset.tex
	${LATEX} dataset.tex

dataset.ps: dataset.dvi
	${DVIPS} dataset.dvi -o dataset.ps

clean:
	 rm -f com/biosimilarity/naturalselection/model/dataset/Absyn/*.class com/biosimilarity/naturalselection/model/dataset/*.class
	 rm -f .dvi dataset.aux dataset.log dataset.ps  *.class

vclean:
	 rm -f com/biosimilarity/naturalselection/model/dataset/Absyn/RecordExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/Joined.java com/biosimilarity/naturalselection/model/dataset/Absyn/Isolated.java com/biosimilarity/naturalselection/model/dataset/Absyn/Consed.java com/biosimilarity/naturalselection/model/dataset/Absyn/Contexted.java com/biosimilarity/naturalselection/model/dataset/Absyn/Referenced.java com/biosimilarity/naturalselection/model/dataset/Absyn/Collected.java com/biosimilarity/naturalselection/model/dataset/Absyn/Emptied.java com/biosimilarity/naturalselection/model/dataset/Absyn/Binding.java com/biosimilarity/naturalselection/model/dataset/Absyn/BindingExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordPtn.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordDestructor.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordLiteral.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordVariable.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordIdent.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordWild.java com/biosimilarity/naturalselection/model/dataset/Absyn/CollectionExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/Extension.java com/biosimilarity/naturalselection/model/dataset/Absyn/Intension.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldFormals.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldFormalSpec.java com/biosimilarity/naturalselection/model/dataset/Absyn/ExtensionBodyExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ExtensionBody.java com/biosimilarity/naturalselection/model/dataset/Absyn/IntensionBodyExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/IntensionBody.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldDecl.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldActual.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldName.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldIdent.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleSumExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleMultExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleBaseExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleDeclOrCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/ConditionIn.java com/biosimilarity/naturalselection/model/dataset/Absyn/DeclIn.java com/biosimilarity/naturalselection/model/dataset/Absyn/TuplePtn.java com/biosimilarity/naturalselection/model/dataset/Absyn/TuplePtnExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleGen.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleGenExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleSatExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleCompExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/DisjunctTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/ConjunctTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/NegatedTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/StructuralTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/BaseTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/StructureTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleValCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleLogicGround.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/DisjunctValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/ConjunctValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/NegatedValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/StructuralValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/BaseValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueLogicGround.java com/biosimilarity/naturalselection/model/dataset/Absyn/StructureValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueRecCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueListCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueSetCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueLitCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueRecBodyCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/LogicalGround.java com/biosimilarity/naturalselection/model/dataset/Absyn/Verity.java com/biosimilarity/naturalselection/model/dataset/Absyn/Absurdity.java com/biosimilarity/naturalselection/model/dataset/Absyn/Nullity.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldType.java com/biosimilarity/naturalselection/model/dataset/Absyn/FieldTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ArrayTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/RcrdTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/RefTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/CollTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/CollType.java com/biosimilarity/naturalselection/model/dataset/Absyn/LListTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/SetTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TupleTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/TypeName.java com/biosimilarity/naturalselection/model/dataset/Absyn/TypeIdent.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundType.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundInteger.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundDouble.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundString.java com/biosimilarity/naturalselection/model/dataset/Absyn/GroundChar.java com/biosimilarity/naturalselection/model/dataset/Absyn/TypeFormals.java com/biosimilarity/naturalselection/model/dataset/Absyn/TypeParameters.java com/biosimilarity/naturalselection/model/dataset/Absyn/Comparison.java com/biosimilarity/naturalselection/model/dataset/Absyn/Equality.java com/biosimilarity/naturalselection/model/dataset/Absyn/Less.java com/biosimilarity/naturalselection/model/dataset/Absyn/More.java com/biosimilarity/naturalselection/model/dataset/Absyn/LEq.java com/biosimilarity/naturalselection/model/dataset/Absyn/GEq.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueAddExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueMultExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueArrAccExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueNegExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueVarExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueLitExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueVariable.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueIdent.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueLiteral.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueRecLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueRecProjLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueListLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueSetLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueIntLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueDoubleLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueStringLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ValueCharLit.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListBinding.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListTupleDeclOrCond.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListTupleCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListValueCondition.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListTypeExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListFieldExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListTupleExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListTuplePtn.java com/biosimilarity/naturalselection/model/dataset/Absyn/ListValueExpr.java com/biosimilarity/naturalselection/model/dataset/Absyn/RecordExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/Joined.class com/biosimilarity/naturalselection/model/dataset/Absyn/Isolated.class com/biosimilarity/naturalselection/model/dataset/Absyn/Consed.class com/biosimilarity/naturalselection/model/dataset/Absyn/Contexted.class com/biosimilarity/naturalselection/model/dataset/Absyn/Referenced.class com/biosimilarity/naturalselection/model/dataset/Absyn/Collected.class com/biosimilarity/naturalselection/model/dataset/Absyn/Emptied.class com/biosimilarity/naturalselection/model/dataset/Absyn/Binding.class com/biosimilarity/naturalselection/model/dataset/Absyn/BindingExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/RecordPtn.class com/biosimilarity/naturalselection/model/dataset/Absyn/RecordDestructor.class com/biosimilarity/naturalselection/model/dataset/Absyn/RecordLiteral.class com/biosimilarity/naturalselection/model/dataset/Absyn/RecordVariable.class com/biosimilarity/naturalselection/model/dataset/Absyn/RecordIdent.class com/biosimilarity/naturalselection/model/dataset/Absyn/RecordWild.class com/biosimilarity/naturalselection/model/dataset/Absyn/CollectionExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/Extension.class com/biosimilarity/naturalselection/model/dataset/Absyn/Intension.class com/biosimilarity/naturalselection/model/dataset/Absyn/FieldFormals.class com/biosimilarity/naturalselection/model/dataset/Absyn/FieldFormalSpec.class com/biosimilarity/naturalselection/model/dataset/Absyn/ExtensionBodyExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/ExtensionBody.class com/biosimilarity/naturalselection/model/dataset/Absyn/IntensionBodyExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/IntensionBody.class com/biosimilarity/naturalselection/model/dataset/Absyn/FieldExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/FieldDecl.class com/biosimilarity/naturalselection/model/dataset/Absyn/FieldActual.class com/biosimilarity/naturalselection/model/dataset/Absyn/FieldName.class com/biosimilarity/naturalselection/model/dataset/Absyn/FieldIdent.class com/biosimilarity/naturalselection/model/dataset/Absyn/TupleExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/TupleSumExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/TupleMultExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/TupleBaseExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/TupleDeclOrCond.class com/biosimilarity/naturalselection/model/dataset/Absyn/ConditionIn.class com/biosimilarity/naturalselection/model/dataset/Absyn/DeclIn.class com/biosimilarity/naturalselection/model/dataset/Absyn/TuplePtn.class com/biosimilarity/naturalselection/model/dataset/Absyn/TuplePtnExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/TupleGen.class com/biosimilarity/naturalselection/model/dataset/Absyn/TupleGenExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/TupleCond.class com/biosimilarity/naturalselection/model/dataset/Absyn/TupleSatExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/TupleCompExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/TupleCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/DisjunctTupleCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/ConjunctTupleCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/NegatedTupleCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/StructuralTupleCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/BaseTupleCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/StructureTupleCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/TupleValCond.class com/biosimilarity/naturalselection/model/dataset/Absyn/GroundTupleCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/TupleLogicGround.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/DisjunctValueCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/ConjunctValueCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/NegatedValueCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/StructuralValueCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/BaseValueCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/GroundValueCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueLogicGround.class com/biosimilarity/naturalselection/model/dataset/Absyn/StructureValueCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueRecCond.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueListCond.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueSetCond.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueLitCond.class com/biosimilarity/naturalselection/model/dataset/Absyn/RecordCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueRecBodyCond.class com/biosimilarity/naturalselection/model/dataset/Absyn/LogicalGround.class com/biosimilarity/naturalselection/model/dataset/Absyn/Verity.class com/biosimilarity/naturalselection/model/dataset/Absyn/Absurdity.class com/biosimilarity/naturalselection/model/dataset/Absyn/Nullity.class com/biosimilarity/naturalselection/model/dataset/Absyn/FieldType.class com/biosimilarity/naturalselection/model/dataset/Absyn/FieldTypeExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/TypeExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/ArrayTypeExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/RcrdTypeExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/RecTypeExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/RefTypeExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/CollTypeExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/GroundTypeExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/CollType.class com/biosimilarity/naturalselection/model/dataset/Absyn/LListTypeExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/SetTypeExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/TupleTypeExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/TypeName.class com/biosimilarity/naturalselection/model/dataset/Absyn/TypeIdent.class com/biosimilarity/naturalselection/model/dataset/Absyn/GroundType.class com/biosimilarity/naturalselection/model/dataset/Absyn/GroundInteger.class com/biosimilarity/naturalselection/model/dataset/Absyn/GroundDouble.class com/biosimilarity/naturalselection/model/dataset/Absyn/GroundString.class com/biosimilarity/naturalselection/model/dataset/Absyn/GroundChar.class com/biosimilarity/naturalselection/model/dataset/Absyn/TypeFormals.class com/biosimilarity/naturalselection/model/dataset/Absyn/TypeParameters.class com/biosimilarity/naturalselection/model/dataset/Absyn/Comparison.class com/biosimilarity/naturalselection/model/dataset/Absyn/Equality.class com/biosimilarity/naturalselection/model/dataset/Absyn/Less.class com/biosimilarity/naturalselection/model/dataset/Absyn/More.class com/biosimilarity/naturalselection/model/dataset/Absyn/LEq.class com/biosimilarity/naturalselection/model/dataset/Absyn/GEq.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueAddExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueMultExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueArrAccExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueNegExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueVarExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueLitExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueVariable.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueIdent.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueLiteral.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueRecLit.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueRecProjLit.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueListLit.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueSetLit.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueIntLit.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueDoubleLit.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueStringLit.class com/biosimilarity/naturalselection/model/dataset/Absyn/ValueCharLit.class com/biosimilarity/naturalselection/model/dataset/Absyn/ListBinding.class com/biosimilarity/naturalselection/model/dataset/Absyn/ListTupleDeclOrCond.class com/biosimilarity/naturalselection/model/dataset/Absyn/ListTupleCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/ListValueCondition.class com/biosimilarity/naturalselection/model/dataset/Absyn/ListTypeExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/ListFieldExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/ListTupleExpr.class com/biosimilarity/naturalselection/model/dataset/Absyn/ListTuplePtn.class com/biosimilarity/naturalselection/model/dataset/Absyn/ListValueExpr.class
	 rm -f com/biosimilarity/naturalselection/model/dataset/Absyn/*.class
	 rmdir com/biosimilarity/naturalselection/model/dataset/Absyn/
	 rm -f dataset.tex dataset.dvi dataset.aux dataset.log dataset.ps 
	 rm -f com/biosimilarity/naturalselection/model/dataset/Yylex com/biosimilarity/naturalselection/model/dataset/dataset.cup com/biosimilarity/naturalselection/model/dataset/Yylex.java com/biosimilarity/naturalselection/model/dataset/VisitSkel.java com/biosimilarity/naturalselection/model/dataset/ComposVisitor.java com/biosimilarity/naturalselection/model/dataset/AbstractVisitor.java com/biosimilarity/naturalselection/model/dataset/FoldVisitor.java com/biosimilarity/naturalselection/model/dataset/AllVisitor.java com/biosimilarity/naturalselection/model/dataset/PrettyPrinter.java com/biosimilarity/naturalselection/model/dataset/Skeleton.java com/biosimilarity/naturalselection/model/dataset/Test.java com/biosimilarity/naturalselection/model/dataset/sym.java com/biosimilarity/naturalselection/model/dataset/parser.java com/biosimilarity/naturalselection/model/dataset/*.class
	 rm -f Makefile
	 rmdir -p com/biosimilarity/naturalselection/model/dataset/

